home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / The World of Computer Software.iso / pew2_1.zip / TEMPLATE < prev    next >
Text File  |  1989-11-22  |  405b  |  35 lines
  1. @BODY
  2. BODY bod_id FOR head_id;
  3.  
  4. END;
  5. @CHANNEL
  6. CHANNEL ch_id ( r1, r2 );
  7.     BY r1: ;
  8.     BY r2: ;
  9.     BY r1, r2: ;
  10. @OUTPUT
  11. OUTPUT ip.ii(args);
  12. @SPECIFICATION
  13. SPECIFICATION  SYSTEM ;
  14. DEFAULT INDIVIDUAL QUEUE;
  15. TIMESCALE SECONDS;
  16. CONST
  17. TYPE
  18. CHANNEL
  19. IP
  20. MODVAR
  21. VAR
  22. STATE
  23. STATESET
  24. INITIALIZE
  25. TRANS
  26. END.
  27. @STATE
  28. STATE
  29.        s1, s2, s3;
  30. @STATESET
  31. STATESET
  32.       ss = [ s1, s2 ];
  33. @TRANS
  34.  
  35.